In this paper, we axiomatize the negatable consequences in dependence and independence logic by extending the systems of natural deduction of the logics given in [22] and [11]. We prove a characterization theorem for negatable formulas in independence logic and negatable sentences in dependence logic, and identify an interesting class of formulas that are negatable in independence logic. Dependence and independence atoms, first-order formulas belong to this class. We also demonstrate our extended system of independence logic by giving explicit derivations (...) for Armstrong's Axioms and the Geiger-Paz-Pearl axioms of dependence and independence atoms. (shrink)

In this work, Cua renders relatively inaccessible Chinese concepts into the categories and structures of Western ethical analysis, and in so doing, presents Wang Yang-ming as an ethical thinker worthy of contemporary consideration. There are four sections. The first outlines the problem: to pursue an understanding of the actuating force of moral learning as it is captured in Wang Yang-ming’s doctrine of “the unity of knowledge and action.” Reformulated in contemporary idiom, it becomes the unity of prospective and (...) retrospective moral knowledge. The author applies his familiarity with recent work in ethical theory to establish his questions and to bring structure to his analysis. In the second section, Cua tackles several of the core philosophical concepts, centering his discussion on li, frequently translated “principle,” but here rendered as “reason.” By exploring several of the binomial expressions of which li is a member, i.e., t’ien-li, tao-li, i-li, t’iao-li, Cua is able to register dimensions of li not previously noted, and, at the same time, to track some coherence among Wang’s more fundamental categories. There is an attempt, through representative selection, to let the original text speak for itself. (shrink)

For decades, a review of environmental education initiatives in and beyond schools indicates that many of them were implemented from an anthropocentric perspective. The rationale behind them is often that we must not destroy the environment because doing so is harmful for ourselves, human beings. One striking feature of the various forms of environmental education is the use of fear as a motivator, as people are warned about the frightening consequences of environmental destruction on their life. While this type of (...) fear-based environmental education may be effective to some extent, intimidation cannot be a fundamental solution to environmental issues. We need to form a loving relationship with nature, through love-based environmental education. From intimidation to love, love-based environmental education focuses on enhancing public environmental awareness through inculcating love, respect, and gratitude toward nature, thereby helping to solve present and future environmental problems and construct an eco-friendly world.Love-based environmental education is richly embedded in Eastern philosophies such as Taoism and contemporary Western eco-ethics. In this article, we synthesize the tenets of love-based environmental education mainly through the lens of Taoist philosophy, discuss implementation approaches, and explore contemplative methods to cultivate connection with nature. Finally, we point out fear-based and love-based environmental education are not mutually exclusive. We need a combination of, or a diversity of approaches to ensure that we effectively change attitudes and behaviors of people. (shrink)

In an era when individuality has been increasingly emphasized, the development of science and technology has provided technical support for the realization of individuation. However, in an examination-oriented education system, the education model has not attached sufficient importance to individuality. The modern education industry focuses much on the massive production of college degree holders. Student’s unique talents are mostly neglected, and their personality and creativity are not given due consideration in the teaching process. It is time to emphasize individualized teaching (...) and learning in the contemporary paradigm of education. Taoist wisdom of individuality, pluralism, and diversity has great philosophical value and practical revelation to the modern education. Thus, an eastern perspective on the understanding of individualized teaching and learning is presented. The author argues that a university should not be an industrial factory, but a nurturing garden where students’ nature as humans are understood and their individual differences are respected. Some Taoist transformative paradigms for the future pedagogies are proposed in the hope of provoking arguments and exploring the future of higher education in an age of disruption. Finally, some Taoist practices for a better understanding of individualized teaching and learning are introduced. (shrink)

Inclusion logic is a variant of dependence logic that was shown to have the same expressive power as positive greatest fixed‐point logic. Inclusion logic is not axiomatisable in full, but its first order consequences can be axiomatized. In this paper, we provide such an explicit partial axiomatization by introducing a system of natural deduction for inclusion logic that is sound and complete for first order consequences in inclusion logic.

Intuitionistic dependence logic was introduced by Abramsky and Väänänen [1] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences.

It is of great significance to predict the results accurately based on the statistics of sports competition for participants research, commercial cooperation, advertising, and gambling profit. Aiming at the phenomenon that the PageRank page sorting algorithm is prone to subject deviation, the category similarity between pages is introduced into the PageRank algorithm. In the PR value calculation formula of the PageRank algorithm, the factor W between pages is added to replace the original Nu. In this way, the content category between (...) pages is considered, and the shortcoming of theme deviation will be improved. The time feedback factor in the PageRank-time algorithm is used for reference, and the time feedback factor is added to the first improved PR value calculation formula. Based on statistics from 1230 games during the NBA 2018-2019 regular season, this paper ranks the team strength with improved PageRank algorithm and compares the results with the ranking of regular-season points and the result of playoffs. The results show that it is consistent with the regular-season points ranking in the eastern division by the use of improved PageRank algorithm, but there is a difference in the second ranking in the western division. In the prediction of top four in playoffs, it predicts three of the four teams. (shrink)

This study employs fMRI to examine the neural substrates of response to cognitive training in healthy old adults. Twenty Japanese healthy elders participated in a 4-week program and practiced a verbal articulation task on a daily basis. Functional connectivity analysis revealed that in comparison to age- and education-matched controls, elders who received the cognitive training demonstrated increased connectivity in the frontotemporal regions related with language and memory functions and showed significant correlations between the behavioral change in a linguistic task and (...) connectivity in regions for goal-oriented persistence and lexical processing. The increased hippocampal connectivity was consistent with previous research showing efficacious memory improvement and change in hippocampal functioning. Moreover, the increased intra-network connectivity following cognitive training suggested an improved neural differentiation, in contrast to the inter-network activation pattern typical in the aging brain. This research not only validates the relationship of functional change in the frontal and temporal lobes to age-associated cognitive decline but also shows promise in turning neural change toward the right direction by cognitive training. (shrink)

Grossmann proposes an interesting framework to explain how heightened fearfulness among humans could be evolutionarily adaptive in the context of cooperative care. I would like to propose that cooperative care may also be a potential mechanism promoting enhanced happiness expression among humans, shedding light on questions about the scope and boundary of the fearful ape hypothesis.

How to identify the key nodes effectively in urban traffic networks to achieve the equitable resource allocation face to the complex traffic network? This issue needs to be solved in current traffic management. This study considered the urban traffic network topology and network traffic status, put forward an improved model based on the economics of the input-output method by introducing a virtual node to the selected network set up with the flow of urban traffic network, sensor nodes by Leontief inverse (...) matrix calculation coefficient to determine node importance, according to the node importance to deliberate attack traffic network to analyze its robustness, to test the accuracy and practicability of the method. The results show that this improved method adopted to measure the importance of traffic nodes from the global scope has the advantages of fast calculation and simple process and provides a more reliable basis for rational allocation of transport resources. (shrink)

Delay discounting is a common phenomenon in daily life, which refers to the subjective value of a future reward decreasing as a function of time. Previous studies have identified several cortical regions involved in delay discounting, but the neural network constructed by the cortical regions of delay discounting is less clear. In this study, we employed resting-state functional magnetic resonance imaging (RS-fMRI) to measure the spontaneous neural activity in a large sample of healthy young adults and used the Monetary Choice (...) Questionnaire to directly measure participants’ level of delay discounting. To identify the neural network of delay discounting at rest, we used an individual difference approach to explore brain regions whose spontaneous activities were related to delay discounting across the whole brain. Then, these brain regions served as seeds to identify the neural network of delay discounting. We found that the fractional amplitude of low-frequency fluctuations (fALFF) of the left insula were positively correlated to delay discounting. More importantly, its connectivity to the anterior cingulate cortex was read out for participants’ behavioral performance in the task of delay discounting. In short, our study provides empirical evidence that insula-anterior cingulate cortex connectivity may serve as a part of the neural network for delay discounting. (shrink)

Hui-yüan was born in Tai hsien of Shansi Province in A. D. 334 and died in A. D. 416.

This essay deploys the joint lenses of branding and space to examine the hegemonic operation of the Apple brand in the global culture industry. It does so by analyzing China’s ‘fake Apple Store’ event in 2011, which began with an American expat blogger’s discovery and subsequently caught the attention of global news media. While copying the look of an official Apple Store, these retailers displayed and sold genuine products originally assembled in China. Probing the cultural logic that gave rise to (...) the event, I argue that China’s ‘fake’ Apple Store emblematizes the power relations and subject positions that emanate from Apple’s global hegemony. The Apple Store, as a branded environment, is best seen as a heterotopia whose interpellating mechanism relies on the extensive-intensive character of the intellectual property rights regime. While China’s copycat Apple Store can be seen as an attempt at a production of sameness, the ‘user-generated’ charge of its ‘fakery’ stems from the ‘distributed’ power of the Apple brand, which operates through a production of difference. Even though the varied responses to the event reveal the contradiction within Apple’s extensive global reach, it more importantly points to a condition wherein consumer turned ‘prod-user’ subjects act as self-enlisted agents who work to perpetuate the brand’s design-intensive value regime. While the spectacle of ‘Chinese fakery’ manifests the ideological work of IPR in naturalizing the distinction between the copy and the fake, the extensive-intensive operation of the brand, embodied by the Apple Store, also undermines the ability of consumer subjects to meaningfully engage the ‘Chinese reality’ that is manufacturing labor. (shrink)

This study aims to identify the necessary strategies for the development of a sustainable financial system. For this purpose, a novel approach could be provided for soft computing with Gaussian-based fuzzy DEMATEL approach to understand the significant levels and impact-relation degrees of these criteria. For robustness check, this evaluation has also been performed for triangular and trapezoidal fuzzy sets. There are many novelties of this study. Firstly, computer science has a significant role in the decision-making process. Another specificity is that (...) the use of Gaussian numbers with fuzzy numbers is a new area. In addition, interval type-2 fuzzy sets also provide a significant advantage in decision-making under uncertainty. The results demonstrate that the size of the alternative financing, investment in efficient projects, and effective advertisement/promotions are the most important items to affect the performance of alternative banking system of emerging economies. Hence, it is recommended that the new banking applications should be applied by the state or the state can provide some incentives for foreign banks to invest in emerging economies, such as tax reduction. Another important point is that the financial intermediations should generate a component financial analysis team to examine the financial reports of the companies in detail so that the financial credibility of these companies can be evaluated more effectively. (shrink)

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic Kripke models. (...) The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic. (shrink)

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.

Despite its association with individual health, few studies have focused on the relationship between adolescent self-control and individual physical and mental health in adulthood. We aimed, therefore, to explore the impact of adolescent self-control on individual physical and mental health in adulthood. We employed the dataset of China Labor-Force Dynamics Surveys [CLDS]. 13,389 respondents with an average age of 45.621 years are consisted in this study. The respondents were asked to report their adolescent self-control through recall. The ordered probit and (...) the ordinary least squares models were employed to estimate the effects of adolescent self-control on physical and mental health in adulthood, respectively. We adopted the propensity score matching method to address the self-selection bias of samples. The results indicated that adolescent self-control significantly affected individual physical health and mental health in adulthood. The mechanism analysis suggested that adolescent self-control partially promoted physical and mental health in adulthood by education and income instead of self-control in adulthood. In conclusion, paying attention to the cultivation of self-control before adulthood may be an effective way to improve individual physical and mental health in adulthood. (shrink)

Recently, in this journal, Jeremy Gwiazda has offered a critique of our separationist view of hell. His objection relies on two key assumptions, and we show in our reply that both assumptions can be denied.

In this paper we prove that three of the main propositional logics of dependence, none of which is structural, are structurally complete with respect to a class of substitutions under which the logics are closed. We obtain an analogous result with respect to stable substitutions, for the negative variants of some well-known intermediate logics, which are intermediate theories that are closely related to inquisitive logic.

In this paper, we introduce a logic based on team semantics, called $\mathbf {FOT} $, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences and (possibly open) formulas, and we also show that a sublogic of $\mathbf {FOT} $, called $\mathbf {FOT}^{\downarrow } $, captures exactly downward closed elementary (or first-order) team properties. We axiomatize completely the logic $\mathbf {FOT} $, and also extend the known partial axiomatization of dependence logic to dependence logic (...) enriched with the logical constants in $\mathbf {FOT}^{\downarrow } $. (shrink)

INTRODUCTION G. Soros I was hoping to deliver a paper at the Wuhan Conference on Karl Popper's philosophy, but business interfered. ...

While unethical behaviors that are intended to benefit the self are often severely punished, unethical behaviors that are intended to benefit the organization (unethical pro-organizational behaviors, UPBs) are disciplined within organizations at different levels of severity. Building on the sensemaking theoretical framework, we study how employees make sense of what the organization is like through observing what the organization has done (i.e., different levels of punishment imposed for UPBs) and how employees subsequently react to the results of sensemaking (i.e., affective (...) commitment to the organization)—increased or decreased turnover and UPB engagement intention. By conducting a vignette-based experimental study and a time-lagged field study, we find that affective commitment to the organization of observers, especially those with a high moral disengagement propensity, increases at a low-to-moderate level of punishment severity for UPBs, and decreases at a moderate-to-high level of punishment severity for UPBs. Furthermore, the impacted affective commitment to the organization subsequently leads to increase in observers’ UPB engagement (intention) and decrease in observers’ turnover intention. We also highlight implications for theory and practice. (shrink)